$\forall$$r$:$\mathbb{N}^{+}$, $s$:\{${\it s'}$:$\mathbb{N}^{+}\mid$ CoPrime($r$,${\it s'}$) \}, $a$, $b$:$\mathbb{Z}$. $\downarrow\exists$$x$:$\mathbb{Z}$. (($x$ = $a$ mod $r$) \& ($x$ = $b$ mod $s$))